a5f160f4e3587e7fa396a50b8e247e9f50384dd6,src/org/jgroups/JChannelFactory.java,JChannelFactory,close,#MuxChannel#,405

Before Change


                    Address addr=entry.channel.getLocalAddress();
                    if(addr != null) {
                        try {
                            mux.sendServiceDownMessage(ch.getId(), addr);
                        }
                        catch(Exception e) {
                            if(log.isErrorEnabled())

After Change


                if(mux != null) {
                    Address addr=entry.channel.getLocalAddress();
                    if(addr != null) {
                        try { 
                            boolean successfulFlush = entry.channel.startFlush(3000,false);
                            if(!successfulFlush && log.isWarnEnabled()){
                               log.warn("Flush failed at " + ch.getLocalAddress() + ch.getId());
                            }                            
                            mux.sendServiceDownMessage(ch.getId(), addr,true);
                        }
                        catch(Exception e) {
                            if(log.isErrorEnabled())